Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures
Using GraphViz for CLAUDE.md
blog.fsck.com·1d
jabrena/cursor-rules-java
github.com·4h
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
Sguaba: Type-safe spatial math in Rust
youtube.com·16h
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.com·22h
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.com·13h
Loading...Loading more...